/* ==============================================================================
*
*   Copyright (c) 2010, Pierre Favier
*   All rights reserved.
*
*   NTasking is free software: you can redistribute it and/or modify it
*   under the terms of the GNU General Public License as published by the
*   Free Software Foundation.
*
*   Redistribution and use in source and binary forms, with or without
*   modification, are permitted provided that the following conditions
*   are met:
*
*   -   Redistributions of source code must retain the above copyright notice,
*       this list of conditions and the following disclaimer.
*
*   -   Redistributions in binary form must reproduce the above
*       copyright notice, this list of conditions and the following
*       disclaimer in the documentation and/or other materials
*       provided with the distribution.
*
*   THIS SOFTWARE IS PROVIDED "AS IS" AND ANY EXPRESS OR IMPLIED
*   WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
*   OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
*   DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS
*   BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
*   EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED
*   TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
*   DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON
*   ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR
*   TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF
*   THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
*   SUCH DAMAGE.
*
* ============================================================================== */

using System;
using NUnit.Framework;
using Rhino.Mocks;

namespace NTasking.ValidationTests.ACATS_3_0.C9
{

    [TestFixture(Description =
        " CHECK THAT A UNIT WITH DEPENDENT TASKS CREATED BY OBJECT " +
        "   DECLARATIONS IS NOT TERMINATED UNTIL ALL DEPENDENT TASKS BECOME " +
        "   TERMINATED. " +
        " SUBTESTS ARE: " +
        "   (A, B)  A SIMPLE TASK OBJECT, IN A BLOCK. " +
        "   (C, D)  AN ARRAY OF TASK OBJECT, IN A FUNCTION. " +
        "   (E, F)  AN ARRAY OF RECORD OF TASK OBJECT, IN A TASK BODY." +
        "" +
        "In the case of NTasking, only subtests (A) and (B) are implemented "+
        "the other four are irrelevant")]
    public class C94001A : ValidationTest
    {

        private class MyException : Exception {}

        private static int Global;
        private static IValidationTestResult result;


        private static int IdentInt(int i)
        {
            return i;
        }


        private class TT : Task
        {

            [Entry]
            internal Action<int> E { get; private set; }


            protected override void Body()
            {
                int local = 0;

                Accept(E, (i) =>
                {
                    local = i;
                });

                // In the original ACATS test, the delay was 30.0, I have tuned it
                // down to 5.0 to avoid validations tests taking hours

                Ada.Delay(5.0); // SINCE THE PARENT UNIT HAS HIGHER PRIORITY
                                // AT THIS POINT, IT WILL RECEIVE CONTROL AND
                                // TERMINATE IF THE ERROR IS PRESENT.

                Global = local;
            }

        }


        [Test(Description =
            "CHECK THAT A UNIT WITH DEPENDENT TASKS " +
            "CREATED BY OBJECT DECLARATIONS IS NOT " +
            "TERMINATED UNTIL ALL DEPENDENT TASKS " +
            "BECOME TERMINATED")]
        public void Test()
        {
            TT t = null;

            result = Mocks.DynamicMock<IValidationTestResult>();

            Expect.Call(result.TestFailed).Repeat.Never();
            Mocks.ReplayAll();

            Global = IdentInt(0);

            Ada.Declare(() =>   // (A)
            {
                t = new TT();
            },
            Begin: () =>   // (A)
            {
                t.E(IdentInt(1));
            });

            if (Global != 1)
                // DEPENDENT TASK NOT TERMINATED BEFORE BLOCK EXIT - 1
                result.TestFailed();

            Global = IdentInt(0);

            Ada.Begin(() =>   // (B)
            {
                Ada.Declare(() =>
                {
                    t = new TT();
                },
                Begin: () =>   // (B)
                {
                    t.E(IdentInt(1));
                    throw new MyException();
                });

                // MY_EXCEPTION WAS NOT RAISED - 2
                result.TestFailed();
            },
            Exception: (ex) =>
            {
                if (ex is MyException)
                {
                    if (Global != 1)
                        // DEPENDENT TASK NOT TERMINATED BEFORE BLOCK EXIT - 2
                        result.TestFailed();
                }
                else
                {
                    // UNEXPECTED EXCEPTION - 2
                    result.TestFailed();
                }
                return false;
            });

        }

    }

}
